Adaptation of Functional Object Programs
نویسنده
چکیده
This position paper proposes certain program transformations facilitating reuse of higher-order functional programs. According to the terminology of AOP (aspect-oriented programming; [5, 1, 2]), we use functional programming languages as component languages and we represent aspects as program transformations. Our illustrative examples are concerned with adapting interpreter fragments to cope with aspects such as environment propagation, the monadic style and error handling.
منابع مشابه
A Rule of Adaptation for OO
This paper presents a new rule for reasoning about method calls in object-oriented programs. It concerns an optimized adaptation of Hoare’s rule of adaptation to the object-oriented paradigm. The new rule contributes in various ways to the modularity of the specification. We also argue that our rule of adaptation is the missing link between Hoare logics and proof outlines for object-oriented pr...
متن کاملSoftware ENgineering A Framework for Datatype Transformation
We study one dimension in program evolution, namely the evolution of the datatype declarations in a program. To this end, a suite of basic transformation operators is designed. We cover structure-preserving refactorings, but also structure-extending and -reducing adaptations. Both the object programs that are subject to datatype transformations, and the meta programs that encode datatype transf...
متن کاملModularity and the Rule of Adaptation
This paper presents a new rule for reasoning about method calls in object-oriented programs. It is an adaptation of Hoare’s rule of adaptation to the object-oriented paradigm, which takes both the write effects and the creational effects of a method into account. The new rule contributes in various ways to the modularity of the specification. We also argue that our rule of adaptation is the mis...
متن کاملCortical areas involved in object, background, and object-background processing revealed with functional magnetic resonance adaptation.
Previous work has suggested that object and place processing are neuroanatomically dissociated in ventral visual areas under conditions of passive viewing. It has also been shown that the hippocampus and parahippocampal gyrus mediate the integration of objects with background scenes in functional imaging studies, but only when encoding or retrieval processes have been directed toward the releva...
متن کاملProving Invariants of Functional Programs
In a pure functional language like Clean the values of the functional variables are constants; variables of functional programs do not change in time. Hence it seems that temporality has no meaning in functional programs. However, in certain cases (e.g. in interactive or distributed programs, or in ones that use IO) we would like to consider a series of values computed from each other as differ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999